Achieving Dependable Composite Services through Two-Level Redundancy
نویسندگان
چکیده
Service composition is a widely accepted method to build service-oriented applications. However, due to the uncertainty of infrastructure environments, service performance and user requests, service composition faces a great challenge to guarantee the dependability of the corresponding composite services. In this chapter, we provide an insightful analysis of the dependability issue of composite services. And we present a solution based on two-level redundancy: component service redundancy and structural redundancy. With component service redundancy, we study how to determine the number of backup services and how to guarantee consistent dependability of a composite service. In addition, structural redundancy aims at further improving dependability at business process level through setting up backup execution paths.
منابع مشابه
Dependable Composite Web Services with Components Upgraded Online
Achieving high dependability of Web Services (WSs) dynamically composed from component WSs is an open problem. One of the main difficulties here is due to the fact that the component WSs can and will be upgraded online, which will affect the dependability of the composite WS. The paper introduces the problem of component WS upgrade and proposes solutions for dependable upgrading in which natura...
متن کاملDependable Composite Web Services with Components Upgraded Online: Solutions, Models and Implementation
Achieving high dependability of Web Services (WSs) dynamically composed from component WSs is an open problem. One of the main difficulties here is due to the fact that the component WSs can and will be upgraded online, which will affect the dependability of the composite WS. The paper introduces the problem of component WS upgrade and proposes solutions for dependable upgrading in which natura...
متن کاملAn Approach to Simplifying Formal Veri cations of Protocols through Identi cation of Modular Blocks in Redundancy Management Protocols
Dependable system designs typically use redundant resources and redundancy management protocols to deliver reliable and timely services. For such systems, a considerable eeort gets expended in ascertaining the correctness of the system operations. In recent years, formal methods have been extensively used for proving the correctness of fault-tolerant system design and implementation 5]. We have...
متن کاملA Middleware for Dependable Distributed Real-Time Systems
New middleware is proposed to support the development of dependable distributed real-time systems for avionics, sensor and shipboard computing. Many of these systems require distributed computing in order to perform increasingly complex missions. They also require real-time performance, dependable software, and may face constraints that limit hardware redundancy. Real-time performance and fault...
متن کاملTechnologies for Autonomic Dependable Services Platform: Achievements and Future Challenges
A city is smart if it can provide ambient services for citizens and other end-users who have to tackle emergency situations, including small and wide scale accidents and incidents. These ambient services embody intelligence of autonomic systems based on heterogeneous execution platforms enhanced with services that provide mechanisms for self-adaptation of dependable applications. This paper aim...
متن کامل